An Approach to Modeling Software Safety in Safety-Critical Systems
نویسندگان
چکیده
Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Problem statement: Existing software quality models like McCall’s and Boehm’s and ISO 9126 were inadequate in addressing the software safety issues of real time safety-critical embedded systems. At present there does not exist any standard framework that comprehensively addresses the Factors, Criteria and Metrics (FCM) approach of the quality models in respect of software safety. Approach: We proposed a new model for software safety based on the McCall’s software quality model that specifically identifies the criteria corresponding to software safety in safety critical applications. The criteria in the proposed software safety model pertains to system hazard analysis, completeness of requirements, identification of software-related safety-critical requirements, safetyconstraints based design, run-time issues management and software safety-critical testing. Results: This model was applied to a prototype safety-critical software-based Railroad Crossing Control System (RCCS). The results showed that all critical operations were safe and risk-free, capable of handling contingency situations. Conclusion: Development of a safety-critical system based on our proposed software safety model significantly enhanced the safe operation of the overall system.
منابع مشابه
Model-Based Verification of Safety Contracts
The verification of safety becomes crucial in critical systems where human lives depend on the correct functioning of such systems. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Safety requirements are usually expressed u...
متن کاملFormalizing UML Software Models of Safety Critical Systems
The Unified Modeling Language (UML) is the de facto standard for designing models of software systems in both industry and academia. UML has many advantages, and is often the tool of choice when conveying information between various stakeholders. UML’s main disadvantage is that it is too abstract – resulting in ambiguous models. In safety critical systems, ambiguity could result in the loss of ...
متن کاملA Methodology for Model-based Verification of Safety Contracts
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed usi...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملBehavior-Based Safety Approach at a Large Construction Site in Iran
Objectives: Behavioral-based safety is a term used to describe the prevention of accidents, injuries and loss in the workplace. An effective behavior-based safety program relies on engaging employees to understand how unsafe behaviors lead to injuries and how to eliminate them from the workplace. This paper examines behavior-based safety program in a massive construction site. Methods: For t...
متن کامل